\documentclass[twocolumn,english, journal]{IEEEtran}
\usepackage[T1]{fontenc}
\usepackage{verbatim}
\usepackage{graphicx}

\makeatletter

\providecommand{\tabularnewline}{\\}

\let\oldforeign@language\foreign@language
\DeclareRobustCommand{\foreign@language}[1]{%
  \lowercase{\oldforeign@language{#1}}}
\newtheorem{thm}{Theorem}
\newtheorem{lemma}{Lemma}

\usepackage{babel}

\makeatother
